:: Monad m => _ -package:protolude -package:base

A special error value. If a property evaluates discard, it causes QuickCheck to discard the current test case. This can be useful if you want to discard the current test case, but are somewhere you can't use ==>, such as inside a generator.

The default value for this type.

Raise overflowException

Raise underflowException

Raise divZeroException

Closure introduced by GHC.Stg.Unarise for unused unboxed sum fields. See Note [aBSENT_SUM_FIELD_ERROR_ID] in GHC.Core.Make

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.

Warning: undefined function remains in code

A value that is never available. Rerun of hang from unamb, but replicated to avoid mutual dependency. TODO: Remove when this module is moved into the unamb-test package.

Deprecated: It is highly recommended that you either avoid partial functions or provide meaningful error messages

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.

Warning: undefined function remains in code (or use error)

The singleton for undefined.

Shorthand for undefined

bottom generates a bottom that is suitable for testing using isBottom.

Throw an Impossible error reporting the *caller's* call site.

Throw an Unreachable error reporting the *caller's* call site. Note that this call to "withFileAndLine" will be filtered out due its filter on the srcLocModule.